Merge pull request #1507 from jeenu-arm/bool
authorDimitris Papastamos <[email protected]>
Thu, 2 Aug 2018 09:21:27 +0000 (10:21 +0100)
committerGitHub <[email protected]>
Thu, 2 Aug 2018 09:21:27 +0000 (10:21 +0100)
Define bool type


Trivial merge